2461. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
E-BOOK
2462. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA
8
.
6
.
V57
2005
2463. Vivid logic
پدیدآورنده: / Gerd Wagner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
2464. Vivid logic :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
2465. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده: Wagner, Gerd, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
2466. Vollstandige Systeme modaler und intuitionistischer Logik
پدیدآورنده: Schutte, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S3793
2467. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده: Schutte, Kurt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
2468. Vollstandige systeme modaler und intuitionistischer Logik
پدیدآورنده: Schutte, Kurt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S46
1968
2469. Waht is mathematical logic ?
پدیدآورنده: / J. N. Crossley ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
Wh
2470. What Logics Mean
پدیدآورنده: / James W. Garson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
رده :
BC71
.
G37
2013
2471. What is a logical system?
پدیدآورنده: edited by D.M. Gabbay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
2
.
W48
1994
2472. What is mathematical logic
پدیدآورنده: J.N. Crossley...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
W43
1972
2473. What is mathematical logic?
پدیدآورنده: / J. N. Crossley ... [et all]
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Logic, symbolic and mathematical
رده :
QA9
.
W55
2474. What is mathematical logic?
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
2475. What is mathematical logic?
پدیدآورنده: / J.N. Crossley ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
W47
,
1990
2476. What logics mean : from proof theory to model-theoretic semantics
پدیدآورنده: Garson, James W., 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic,، Semantics,، Logic, Symbolic and mathematical
رده :
BC
71
.
G37W45
2477. Wittgenstein and the End of Philosophy
پدیدآورنده: \ Daniel D. Hutto
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,ویتگنشتاین، لودویگ، ۱۸۸۹ - ۱۹۵۱م. . پ‍ژوه‍ش‍ه‍ای ف‍ل‍س‍ف‍ی
رده :
E-Book
,
2478. Wittgenstein and the end of philosophy :neither theory nor therapy
پدیدآورنده: Hutto, Daniel D.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B3376
.
W563
T73353
2479. Wittgenstein and the end of philosophy : neither theory nor therapy
پدیدآورنده: Hutto, Daniel D.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563T72338
2480. Wittgenstein and the end of philosophy: neither theory nor therapy
پدیدآورنده: Hutto, Daniel D.
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع: ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,، Language and languages -- Philosophy
رده :
B
3376
.
W563
H88
2006
